Let be a field and let be an ideal of . We will prove the above result be showing that any non-zero ideal must be the ring itself. As such, let be a non-zero ideal. Then let be a non-zero element of . Since given is a field, we have that must be a unit and therefore by this result must be the ring itself.